Optimal. Leaf size=450 \[ -\frac{f^2 (e+f x) \text{PolyLog}\left (2,-i e^{c+d x}\right )}{a d^3}+\frac{f^2 (e+f x) \text{PolyLog}\left (2,i e^{c+d x}\right )}{a d^3}-\frac{2 f^2 (e+f x) \text{PolyLog}\left (2,-e^{2 (c+d x)}\right )}{a d^3}+\frac{f^3 \text{PolyLog}\left (3,-i e^{c+d x}\right )}{a d^4}-\frac{f^3 \text{PolyLog}\left (3,i e^{c+d x}\right )}{a d^4}+\frac{f^3 \text{PolyLog}\left (3,-e^{2 (c+d x)}\right )}{a d^4}-\frac{f^2 (e+f x) \tanh (c+d x)}{a d^3}-\frac{i f^2 (e+f x) \text{sech}(c+d x)}{a d^3}-\frac{2 f (e+f x)^2 \log \left (e^{2 (c+d x)}+1\right )}{a d^2}-\frac{i f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{a d^2}+\frac{f (e+f x)^2 \text{sech}^2(c+d x)}{2 a d^2}-\frac{i f (e+f x)^2 \tanh (c+d x) \text{sech}(c+d x)}{2 a d^2}+\frac{i f^3 \tan ^{-1}(\sinh (c+d x))}{a d^4}+\frac{f^3 \log (\cosh (c+d x))}{a d^4}+\frac{2 (e+f x)^3 \tanh (c+d x)}{3 a d}+\frac{i (e+f x)^3 \text{sech}^3(c+d x)}{3 a d}+\frac{(e+f x)^3 \tanh (c+d x) \text{sech}^2(c+d x)}{3 a d}+\frac{2 (e+f x)^3}{3 a d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.589366, antiderivative size = 450, normalized size of antiderivative = 1., number of steps used = 20, number of rules used = 12, integrand size = 31, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.387, Rules used = {5571, 4186, 4184, 3475, 3718, 2190, 2531, 2282, 6589, 5451, 3770, 4180} \[ -\frac{f^2 (e+f x) \text{PolyLog}\left (2,-i e^{c+d x}\right )}{a d^3}+\frac{f^2 (e+f x) \text{PolyLog}\left (2,i e^{c+d x}\right )}{a d^3}-\frac{2 f^2 (e+f x) \text{PolyLog}\left (2,-e^{2 (c+d x)}\right )}{a d^3}+\frac{f^3 \text{PolyLog}\left (3,-i e^{c+d x}\right )}{a d^4}-\frac{f^3 \text{PolyLog}\left (3,i e^{c+d x}\right )}{a d^4}+\frac{f^3 \text{PolyLog}\left (3,-e^{2 (c+d x)}\right )}{a d^4}-\frac{f^2 (e+f x) \tanh (c+d x)}{a d^3}-\frac{i f^2 (e+f x) \text{sech}(c+d x)}{a d^3}-\frac{2 f (e+f x)^2 \log \left (e^{2 (c+d x)}+1\right )}{a d^2}-\frac{i f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{a d^2}+\frac{f (e+f x)^2 \text{sech}^2(c+d x)}{2 a d^2}-\frac{i f (e+f x)^2 \tanh (c+d x) \text{sech}(c+d x)}{2 a d^2}+\frac{i f^3 \tan ^{-1}(\sinh (c+d x))}{a d^4}+\frac{f^3 \log (\cosh (c+d x))}{a d^4}+\frac{2 (e+f x)^3 \tanh (c+d x)}{3 a d}+\frac{i (e+f x)^3 \text{sech}^3(c+d x)}{3 a d}+\frac{(e+f x)^3 \tanh (c+d x) \text{sech}^2(c+d x)}{3 a d}+\frac{2 (e+f x)^3}{3 a d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5571
Rule 4186
Rule 4184
Rule 3475
Rule 3718
Rule 2190
Rule 2531
Rule 2282
Rule 6589
Rule 5451
Rule 3770
Rule 4180
Rubi steps
\begin{align*} \int \frac{(e+f x)^3 \text{sech}^2(c+d x)}{a+i a \sinh (c+d x)} \, dx &=-\frac{i \int (e+f x)^3 \text{sech}^3(c+d x) \tanh (c+d x) \, dx}{a}+\frac{\int (e+f x)^3 \text{sech}^4(c+d x) \, dx}{a}\\ &=\frac{f (e+f x)^2 \text{sech}^2(c+d x)}{2 a d^2}+\frac{i (e+f x)^3 \text{sech}^3(c+d x)}{3 a d}+\frac{(e+f x)^3 \text{sech}^2(c+d x) \tanh (c+d x)}{3 a d}+\frac{2 \int (e+f x)^3 \text{sech}^2(c+d x) \, dx}{3 a}-\frac{(i f) \int (e+f x)^2 \text{sech}^3(c+d x) \, dx}{a d}-\frac{f^2 \int (e+f x) \text{sech}^2(c+d x) \, dx}{a d^2}\\ &=-\frac{i f^2 (e+f x) \text{sech}(c+d x)}{a d^3}+\frac{f (e+f x)^2 \text{sech}^2(c+d x)}{2 a d^2}+\frac{i (e+f x)^3 \text{sech}^3(c+d x)}{3 a d}-\frac{f^2 (e+f x) \tanh (c+d x)}{a d^3}+\frac{2 (e+f x)^3 \tanh (c+d x)}{3 a d}-\frac{i f (e+f x)^2 \text{sech}(c+d x) \tanh (c+d x)}{2 a d^2}+\frac{(e+f x)^3 \text{sech}^2(c+d x) \tanh (c+d x)}{3 a d}-\frac{(i f) \int (e+f x)^2 \text{sech}(c+d x) \, dx}{2 a d}-\frac{(2 f) \int (e+f x)^2 \tanh (c+d x) \, dx}{a d}+\frac{\left (i f^3\right ) \int \text{sech}(c+d x) \, dx}{a d^3}+\frac{f^3 \int \tanh (c+d x) \, dx}{a d^3}\\ &=\frac{2 (e+f x)^3}{3 a d}-\frac{i f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{a d^2}+\frac{i f^3 \tan ^{-1}(\sinh (c+d x))}{a d^4}+\frac{f^3 \log (\cosh (c+d x))}{a d^4}-\frac{i f^2 (e+f x) \text{sech}(c+d x)}{a d^3}+\frac{f (e+f x)^2 \text{sech}^2(c+d x)}{2 a d^2}+\frac{i (e+f x)^3 \text{sech}^3(c+d x)}{3 a d}-\frac{f^2 (e+f x) \tanh (c+d x)}{a d^3}+\frac{2 (e+f x)^3 \tanh (c+d x)}{3 a d}-\frac{i f (e+f x)^2 \text{sech}(c+d x) \tanh (c+d x)}{2 a d^2}+\frac{(e+f x)^3 \text{sech}^2(c+d x) \tanh (c+d x)}{3 a d}-\frac{(4 f) \int \frac{e^{2 (c+d x)} (e+f x)^2}{1+e^{2 (c+d x)}} \, dx}{a d}-\frac{f^2 \int (e+f x) \log \left (1-i e^{c+d x}\right ) \, dx}{a d^2}+\frac{f^2 \int (e+f x) \log \left (1+i e^{c+d x}\right ) \, dx}{a d^2}\\ &=\frac{2 (e+f x)^3}{3 a d}-\frac{i f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{a d^2}+\frac{i f^3 \tan ^{-1}(\sinh (c+d x))}{a d^4}-\frac{2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{a d^2}+\frac{f^3 \log (\cosh (c+d x))}{a d^4}-\frac{f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{a d^3}+\frac{f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{a d^3}-\frac{i f^2 (e+f x) \text{sech}(c+d x)}{a d^3}+\frac{f (e+f x)^2 \text{sech}^2(c+d x)}{2 a d^2}+\frac{i (e+f x)^3 \text{sech}^3(c+d x)}{3 a d}-\frac{f^2 (e+f x) \tanh (c+d x)}{a d^3}+\frac{2 (e+f x)^3 \tanh (c+d x)}{3 a d}-\frac{i f (e+f x)^2 \text{sech}(c+d x) \tanh (c+d x)}{2 a d^2}+\frac{(e+f x)^3 \text{sech}^2(c+d x) \tanh (c+d x)}{3 a d}+\frac{\left (4 f^2\right ) \int (e+f x) \log \left (1+e^{2 (c+d x)}\right ) \, dx}{a d^2}+\frac{f^3 \int \text{Li}_2\left (-i e^{c+d x}\right ) \, dx}{a d^3}-\frac{f^3 \int \text{Li}_2\left (i e^{c+d x}\right ) \, dx}{a d^3}\\ &=\frac{2 (e+f x)^3}{3 a d}-\frac{i f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{a d^2}+\frac{i f^3 \tan ^{-1}(\sinh (c+d x))}{a d^4}-\frac{2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{a d^2}+\frac{f^3 \log (\cosh (c+d x))}{a d^4}-\frac{f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{a d^3}+\frac{f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{a d^3}-\frac{2 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{a d^3}-\frac{i f^2 (e+f x) \text{sech}(c+d x)}{a d^3}+\frac{f (e+f x)^2 \text{sech}^2(c+d x)}{2 a d^2}+\frac{i (e+f x)^3 \text{sech}^3(c+d x)}{3 a d}-\frac{f^2 (e+f x) \tanh (c+d x)}{a d^3}+\frac{2 (e+f x)^3 \tanh (c+d x)}{3 a d}-\frac{i f (e+f x)^2 \text{sech}(c+d x) \tanh (c+d x)}{2 a d^2}+\frac{(e+f x)^3 \text{sech}^2(c+d x) \tanh (c+d x)}{3 a d}+\frac{f^3 \operatorname{Subst}\left (\int \frac{\text{Li}_2(-i x)}{x} \, dx,x,e^{c+d x}\right )}{a d^4}-\frac{f^3 \operatorname{Subst}\left (\int \frac{\text{Li}_2(i x)}{x} \, dx,x,e^{c+d x}\right )}{a d^4}+\frac{\left (2 f^3\right ) \int \text{Li}_2\left (-e^{2 (c+d x)}\right ) \, dx}{a d^3}\\ &=\frac{2 (e+f x)^3}{3 a d}-\frac{i f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{a d^2}+\frac{i f^3 \tan ^{-1}(\sinh (c+d x))}{a d^4}-\frac{2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{a d^2}+\frac{f^3 \log (\cosh (c+d x))}{a d^4}-\frac{f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{a d^3}+\frac{f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{a d^3}-\frac{2 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{a d^3}+\frac{f^3 \text{Li}_3\left (-i e^{c+d x}\right )}{a d^4}-\frac{f^3 \text{Li}_3\left (i e^{c+d x}\right )}{a d^4}-\frac{i f^2 (e+f x) \text{sech}(c+d x)}{a d^3}+\frac{f (e+f x)^2 \text{sech}^2(c+d x)}{2 a d^2}+\frac{i (e+f x)^3 \text{sech}^3(c+d x)}{3 a d}-\frac{f^2 (e+f x) \tanh (c+d x)}{a d^3}+\frac{2 (e+f x)^3 \tanh (c+d x)}{3 a d}-\frac{i f (e+f x)^2 \text{sech}(c+d x) \tanh (c+d x)}{2 a d^2}+\frac{(e+f x)^3 \text{sech}^2(c+d x) \tanh (c+d x)}{3 a d}+\frac{f^3 \operatorname{Subst}\left (\int \frac{\text{Li}_2(-x)}{x} \, dx,x,e^{2 (c+d x)}\right )}{a d^4}\\ &=\frac{2 (e+f x)^3}{3 a d}-\frac{i f (e+f x)^2 \tan ^{-1}\left (e^{c+d x}\right )}{a d^2}+\frac{i f^3 \tan ^{-1}(\sinh (c+d x))}{a d^4}-\frac{2 f (e+f x)^2 \log \left (1+e^{2 (c+d x)}\right )}{a d^2}+\frac{f^3 \log (\cosh (c+d x))}{a d^4}-\frac{f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{a d^3}+\frac{f^2 (e+f x) \text{Li}_2\left (i e^{c+d x}\right )}{a d^3}-\frac{2 f^2 (e+f x) \text{Li}_2\left (-e^{2 (c+d x)}\right )}{a d^3}+\frac{f^3 \text{Li}_3\left (-i e^{c+d x}\right )}{a d^4}-\frac{f^3 \text{Li}_3\left (i e^{c+d x}\right )}{a d^4}+\frac{f^3 \text{Li}_3\left (-e^{2 (c+d x)}\right )}{a d^4}-\frac{i f^2 (e+f x) \text{sech}(c+d x)}{a d^3}+\frac{f (e+f x)^2 \text{sech}^2(c+d x)}{2 a d^2}+\frac{i (e+f x)^3 \text{sech}^3(c+d x)}{3 a d}-\frac{f^2 (e+f x) \tanh (c+d x)}{a d^3}+\frac{2 (e+f x)^3 \tanh (c+d x)}{3 a d}-\frac{i f (e+f x)^2 \text{sech}(c+d x) \tanh (c+d x)}{2 a d^2}+\frac{(e+f x)^3 \text{sech}^2(c+d x) \tanh (c+d x)}{3 a d}\\ \end{align*}
Mathematica [B] time = 12.2762, size = 1049, normalized size = 2.33 \[ -\frac{i f \left (\frac{(e+f x)^3}{f}+\frac{3 \left (1-i e^c\right ) \log \left (1+i e^{-c-d x}\right ) (e+f x)^2}{d}+\frac{6 i \left (i+e^c\right ) f \left (d (e+f x) \text{PolyLog}\left (2,-i e^{-c-d x}\right )+f \text{PolyLog}\left (3,-i e^{-c-d x}\right )\right )}{d^3}\right )}{2 a d \left (i+e^c\right )}+\frac{i f \left (5 d^2 f^2 x^3+15 d^2 e f x^2+15 d \left (1+i e^c\right ) f^2 \log \left (1-i e^{-c-d x}\right ) x^2+3 \left (5 d^2 e^2-4 f^2\right ) x+30 d e \left (1+i e^c\right ) f \log \left (1-i e^{-c-d x}\right ) x-\frac{3 \left (1+i e^c\right ) \left (5 d^2 e^2-4 f^2\right ) \left (d x-\log \left (i-e^{c+d x}\right )\right )}{d}-30 e \left (1+i e^c\right ) f \text{PolyLog}\left (2,i e^{-c-d x}\right )-30 \left (1+i e^c\right ) f^2 \left (x \text{PolyLog}\left (2,i e^{-c-d x}\right )+\frac{\text{PolyLog}\left (3,i e^{-c-d x}\right )}{d}\right )\right )}{6 a d^3 \left (-i+e^c\right )}+\frac{\sinh \left (\frac{d x}{2}\right ) e^3+3 f x \sinh \left (\frac{d x}{2}\right ) e^2+3 f^2 x^2 \sinh \left (\frac{d x}{2}\right ) e+f^3 x^3 \sinh \left (\frac{d x}{2}\right )}{2 a d \left (\cosh \left (\frac{c}{2}\right )-i \sinh \left (\frac{c}{2}\right )\right ) \left (\cosh \left (\frac{c}{2}+\frac{d x}{2}\right )-i \sinh \left (\frac{c}{2}+\frac{d x}{2}\right )\right )}+\frac{5 d^2 \sinh \left (\frac{d x}{2}\right ) e^3+15 d^2 f x \sinh \left (\frac{d x}{2}\right ) e^2-12 f^2 \sinh \left (\frac{d x}{2}\right ) e+15 d^2 f^2 x^2 \sinh \left (\frac{d x}{2}\right ) e+5 d^2 f^3 x^3 \sinh \left (\frac{d x}{2}\right )-12 f^3 x \sinh \left (\frac{d x}{2}\right )}{6 a d^3 \left (\cosh \left (\frac{c}{2}\right )+i \sinh \left (\frac{c}{2}\right )\right ) \left (\cosh \left (\frac{c}{2}+\frac{d x}{2}\right )+i \sinh \left (\frac{c}{2}+\frac{d x}{2}\right )\right )}+\frac{i d \cosh \left (\frac{c}{2}\right ) e^3+d \sinh \left (\frac{c}{2}\right ) e^3+3 f \cosh \left (\frac{c}{2}\right ) e^2+3 i d f x \cosh \left (\frac{c}{2}\right ) e^2+3 i f \sinh \left (\frac{c}{2}\right ) e^2+3 d f x \sinh \left (\frac{c}{2}\right ) e^2+3 i d f^2 x^2 \cosh \left (\frac{c}{2}\right ) e+6 f^2 x \cosh \left (\frac{c}{2}\right ) e+3 d f^2 x^2 \sinh \left (\frac{c}{2}\right ) e+6 i f^2 x \sinh \left (\frac{c}{2}\right ) e+i d f^3 x^3 \cosh \left (\frac{c}{2}\right )+3 f^3 x^2 \cosh \left (\frac{c}{2}\right )+d f^3 x^3 \sinh \left (\frac{c}{2}\right )+3 i f^3 x^2 \sinh \left (\frac{c}{2}\right )}{6 a d^2 \left (\cosh \left (\frac{c}{2}\right )+i \sinh \left (\frac{c}{2}\right )\right ) \left (\cosh \left (\frac{c}{2}+\frac{d x}{2}\right )+i \sinh \left (\frac{c}{2}+\frac{d x}{2}\right )\right )^2}+\frac{\sinh \left (\frac{d x}{2}\right ) e^3+3 f x \sinh \left (\frac{d x}{2}\right ) e^2+3 f^2 x^2 \sinh \left (\frac{d x}{2}\right ) e+f^3 x^3 \sinh \left (\frac{d x}{2}\right )}{3 a d \left (\cosh \left (\frac{c}{2}\right )+i \sinh \left (\frac{c}{2}\right )\right ) \left (\cosh \left (\frac{c}{2}+\frac{d x}{2}\right )+i \sinh \left (\frac{c}{2}+\frac{d x}{2}\right )\right )^3} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.18, size = 1001, normalized size = 2.2 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 2.5021, size = 984, normalized size = 2.19 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] time = 2.41309, size = 3393, normalized size = 7.54 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (f x + e\right )}^{3} \operatorname{sech}\left (d x + c\right )^{2}}{i \, a \sinh \left (d x + c\right ) + a}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]